<div>
 <span style="font-size: small">
 Show instructions for:
 [<a href="javascript:GIGO.show_os_all();">All</a>]
 [<a href="javascript:GIGO.show_os_only_windows();">Windows</a>]
 [<a href="javascript:GIGO.show_os_only_osx();">Mac OS X</a>]
 [<a href="javascript:GIGO.show_os_only_ios();">iPhone/iPad</a>]
 [<a href="javascript:GIGO.show_os_only_linux();">Linux</a>]
 </span>
</div>
